Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy

Source URL: www.ai4fm.org

• Grammar
• Linguistics
• Mathematical logic
• Syntax
• FO
• Finite model theory
• Argument
• Lambda calculus
• Predicate
• Functional predicate

Fast Prediction of New Feature Utility Hoyt Koepke Department of Statistics University of Washington Seattle, WAMikhail Bilenko Microsoft Research, Redmond, WA 12345

Source URL: arxiv.org

• Mathematical analysis
• Statistics
• Gradient descent
• Loss function
• Analysis
• Spectral theory
• Operator theory
• Ordinary differential equations
• Lambda calculus

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Logic in computer science
• Computability theory
• Algebraic topology
• Substitution
• Unification
• Lambda calculus
• Sheaf
• Scheme
• Combinatory logic
• Morphism of algebraic varieties

CMSC 336: Type Systems for Programming Languages Lecture 5: Simply Typed Lambda Calculus Acar & Ahmed January 24, 2008

Source URL: ttic.uchicago.edu

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Computability theory
• Lambda calculus
• Recursion
• Theoretical computer science
• Type theory
• Combinatory logic
• Church encoding
• Initial algebra
• Primitive recursive function

CMCS 312: Programming Languages Lecture 3: Lambda Calculus (Syntax, Substitution, Beta Reduction) Acar & Ahmed 17 January 2008

Source URL: ttic.uchicago.edu

Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

Source URL: www.ccs.neu.edu

• Models of computation
• Type theory
• Formal methods
• Theory of computation
• Equivalence relation
• Monad
• Denotational semantics
• Parametricity
• Simply typed lambda calculus
• Modal logic
• Lambda calculus